Institute of Mathematics

Results: 3022



#Item
1Machine learning / Learning / Artificial intelligence / Applied mathematics / Artificial neural network / Outline of machine learning / Supervised learning / Regularization / Empirical risk minimization / Backpropagation / Poisson regression / Parametric model

Mathematics of Machine Learning: An introduction Sanjeev Arora Princeton University Computer Science Institute for Advanced Study

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-28 17:09:48
2Mathematical logic / Proof theory / Logic / Mathematics / Natural deduction / Sequent calculus / Sequent / First-order logic / Admissible rule / Conjunctive normal form / Quantifier / Cut-elimination theorem

Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology

Add to Reading List

Source URL: www.logic.at

Language: English - Date: 2014-04-14 05:43:30
3Mathematics / Graph theory / Abstract algebra / Algebra / Homology theory / Homology / Isomorphism / Chain complex / Degree / Graph

I·Math Institute of Mathematics Graph complexes Thomas Willwacher

Add to Reading List

Source URL: people.math.ethz.ch

Language: English - Date: 2016-05-02 09:25:10
4

The geometry research at the Institute of Mathematics and Physics of the University of Science and Technology in Bydgoszcz dates since over 40 years. For over 20 last years two main streams (see below) of our research co

Add to Reading List

Source URL: iro.utp.edu.pl

Language: English - Date: 2017-04-27 06:18:21
    5

    Divisor Class Halving on Hyperelliptic Curves Peter Birkner Department of Mathematics, Technical University of Denmark (currently visiting Fields Institute, Toronto) Cryptography Seminar, University of Waterloo

    Add to Reading List

    Source URL: www.pbirkner.fastmail.fm

    Language: English - Date: 2006-12-03 13:45:32
      6

      Michael T Lacey Short Resumé School of Mathematics Georgia Institute of Technology B

      Add to Reading List

      Source URL: people.math.gatech.edu

      Language: English - Date: 2015-01-17 10:15:42
        7

        Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa

        Add to Reading List

        Source URL: www.preining.info

        Language: English - Date: 2014-04-03 01:14:55
          8

          Symmetry breaking in a bull and bear …nancial market model Iryna Sushko,a Fabio Tramontana,b , Frank Westerho¤,c Viktor Avrutin d a Institute of Mathematics, National Academy of Sciences of Ukraine, 3 Tereshchenkivska

          Add to Reading List

          Source URL: www.uni-bamberg.de

          Language: English - Date: 2015-03-17 08:41:40
            9

            Moshe Cohen*, Mathematics Department, Technion - Israel Institute of Technology, 3200 Haifa, Israel, and Meirav Topol Amram, Hao Sun, Mina Teicher, Fei Ye and Anna Zarkh. New ten-line arrangements: reflectio

            Add to Reading List

            Source URL: jointmathematicsmeetings.org

            - Date: 2013-09-13 00:49:20
              10

              Michael T. Lacey Full Professor School of Mathematics Georgia Institute of Technology Contents I.

              Add to Reading List

              Source URL: people.math.gatech.edu

              Language: English - Date: 2018-01-10 17:50:05
                UPDATE